Buy Used and New Alexandre Petrenko Books

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, ... 2931 (Lecture Notes in Computer Science)

by Andreas Ulrich,Alexandre Petrenko

ISBN 13: 9783540208945

Format: Paperback (276 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

The Unknown Component Problem: Theory and Applications

by Tiziano Villa,Nina Yevtushenko,Robert K. Brayton,Alan Mishchenko,Alexandre Petrenko,Alberto Sangiovanni-Vincentelli

ISBN 13: 9781489973948

Format: Paperback (328 pages)
Publisher: Springer
Published: 25 Jan 2014

Save for later